Literate programmingSPOTNITZ, R.Computers & chemical engineering. 1998, Vol 22, Num 12, pp 1745-1747, issn 0098-1354Article

Program design in the UNIX environmentPIKE, R; KERNIGHAN, B. W.AT&T Bell Laboratories technical journal. 1984, Vol 63, Num 8, pp 1595-1605, 2Article

Transfert de données arborescentes dans une architecture distribuée pour Centaur (environnement de programmation pour ASN.1) = Tree transfer in a distributed architecture for Centaur - An ASN.1 programming environment (evolution of the distributed architecture of Centaur : propositions)Dery, A.M.1993, 111 p.Report

Automatic deletion of obsolete informationHABERMANN, A. N.The Journal of systems and software. 1985, Vol 5, Num 2, pp 145-154, issn 0164-1212Article

The GANDALF projectNOTKIN, D.The Journal of systems and software. 1985, Vol 5, Num 2, pp 91-105, issn 0164-1212Article

Using Ada for discrete event simulationBRUNO, G.Software, practice & experience. 1984, Vol 14, Num 7, pp 685-695, issn 0038-0644Article

Programming with GhostsCALLAU, Oscar; TANTER, Eric.IEEE software. 2013, Vol 30, Num 1, pp 74-80, issn 0740-7459, 7 p.Article

Essential Elements of a Component-Based Development Environment for the Software SupermarketPYNE, Richard A; MUGISA, Ezra K.IEEE Southeastcon. 2004, pp 173-180, isbn 0-7803-8367-2, 1Vol, 8 p.Conference Paper

Smarter recompilationSCHWANKE, R. W; KAISER, G. E.ACM transactions on programming languages and systems. 1988, Vol 10, Num 4, pp 627-632, issn 0164-0925Article

A programming process architectureRADICE, R. A; ROTH, N. K; O'HARA, A. C. JR et al.IBM systems journal. 1985, Vol 24, Num 2, pp 79-90, issn 0018-8670Article

Why doesn't anyone use formal methods?SCHULTE, Wolfram.Lecture notes in computer science. 2000, pp 297-298, issn 0302-9743, isbn 3-540-41196-8Conference Paper

Eraser : A dynamic data race detector for multithreaded programsSAVAGE, S; BURROWS, M; NELSON, G et al.ACM transactions on computer systems. 1997, Vol 15, Num 4, pp 391-411, issn 0734-2071Conference Paper

Les environnements de programmation = Programming environmentsKAHN, G.Le Courrier du C.N.R.S. 1993, Num 80, issn 0153-985X, p. 40Article

Program locality of vectorized applications running on the IBM 3090 with vector facilitySO, K; ZECCA, V.IBM systems journal. 1988, Vol 27, Num 4, pp 436-452, issn 0018-8670Article

CHILL concurrency of Intel iAPX 432 architectureCATTANEO, G; PIURI, V; SCARABOTTOLO, N et al.Microprocessing and microprogramming. 1985, Vol 15, Num 5, pp 233-251, issn 0165-6074Article

Abstracts of the sessions/Workshop on operating systems in computer networks, Rüschlikon, Switzerland, January 28-30, 1985Operating systems review. 1985, Vol 19, Num 2, pp 6-39, issn 0163-5980Conference Proceedings

Accommodating uncertainty in software designGIDDINGS, R. V.Communications of the ACM. 1984, Vol 27, Num 5, pp 428-434, issn 0001-0782Article

Magma 2: a language oriented toward experiments in controlTURINI, F.ACM transactions on programming languages and systems. 1984, Vol 6, Num 4, pp 468-486, issn 0164-0925Article

Coordination entre outils dans un environnement intégré de développement de logiciels = Coordination between tools in an integrated software development environmentBoyer, Fabienne; Krakowiak, Sacha.1994, 130 p.Thesis

TEMP: un environnement de développement centré processus logiciel = TEMPO: a process-centered software development environmentLouzada Martins Melo, Walcelio; Belkhatir, Noureddine.1993, 202 p.Thesis

Parascope: a parallel programming environmentCALLAHAN, C. D; COOPER, K. D; HOOD, R. T et al.The International journal of supercomputer applications. 1988, Vol 2, Num 4, pp 84-99, issn 0890-2720Article

Rule-based programming in the UNIX systemVESONDER, G. T.AT&T technical journal. 1988, Vol 67, Num 1, pp 69-80, issn 8756-2324Article

A formalism to implement natural semantics; Un formalisme pour implémenter la sémantique naturelle = Un formalisme pour implémenter la sémantique naturelleDESPEYROUX, Thierry.Rapports techniques - I.N.R.I.A. 1988, Vol 94, issn 0249-0803, 54 p.Report

The evolution of the GANDALF systemELLISON, R. J; STAUDT, B. J.The Journal of systems and software. 1985, Vol 5, Num 2, pp 107-119, issn 0164-1212Article

The «software engineering» of expert systems: is Prolog appropriate?SUBRAHMANYAM, P. A.IEEE transactions on software engineering. 1985, Vol 11, Num 11, pp 1391-1400, issn 0098-5589Article